Integrals 201 to 300

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 50 72 146 119 0 0 0

N.S.

1 1.00 1.35 1.95 3.95 3.22 0.00 0.00 0.00

time (sec)

N/A 0.076 0.034 4.028 0.409 0.287 0.000 0.000 0.000

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 39 42 98 49 0 58 41

N.S.

1 1.00 1.08 1.17 2.72 1.36 0.00 1.61 1.14

time (sec)

N/A 0.069 0.034 5.368 0.359 0.255 0.000 0.352 14.471

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 51 52 190 61 0 87 82

N.S.

1 1.00 0.66 0.68 2.47 0.79 0.00 1.13 1.06

time (sec)

N/A 0.137 0.060 4.066 0.369 0.259 0.000 0.475 14.767

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 61 62 237 71 0 116 132

N.S.

1 1.00 0.53 0.54 2.06 0.62 0.00 1.01 1.15

time (sec)

N/A 0.211 0.080 5.248 0.336 0.272 0.000 0.449 16.181

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 153 71 72 283 81 0 143 415

N.S.

1 1.00 0.46 0.47 1.85 0.53 0.00 0.93 2.71

time (sec)

N/A 0.274 0.118 4.549 0.366 0.246 0.000 0.548 19.816

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 160 106 181 1942 114 0 0 0

N.S.

1 1.00 0.66 1.13 12.14 0.71 0.00 0.00 0.00

time (sec)

N/A 0.306 0.245 11.908 0.594 0.267 0.000 0.000 0.000

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 120 92 146 1080 103 0 0 0

N.S.

1 1.00 0.77 1.22 9.00 0.86 0.00 0.00 0.00

time (sec)

N/A 0.245 0.147 11.744 0.470 0.265 0.000 0.000 0.000

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 79 152 803 90 0 0 0

N.S.

1 1.00 1.05 2.03 10.71 1.20 0.00 0.00 0.00

time (sec)

N/A 0.162 0.069 13.854 0.450 0.270 0.000 0.000 0.000

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 85 144 997 109 0 0 0

N.S.

1 1.00 1.12 1.89 13.12 1.43 0.00 0.00 0.00

time (sec)

N/A 0.163 0.102 5.444 0.468 0.291 0.000 0.000 0.000

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 52 53 125 62 0 0 89

N.S.

1 1.00 0.64 0.65 1.54 0.77 0.00 0.00 1.10

time (sec)

N/A 0.153 0.072 5.233 0.354 0.256 0.000 0.000 15.377

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 62 63 217 73 0 0 133

N.S.

1 1.00 0.51 0.52 1.79 0.60 0.00 0.00 1.10

time (sec)

N/A 0.238 0.097 4.949 0.354 0.265 0.000 0.000 16.402

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 161 72 73 263 86 0 87931 157

N.S.

1 1.00 0.45 0.45 1.63 0.53 0.00 546.16 0.98

time (sec)

N/A 0.344 0.146 5.291 0.331 0.262 0.000 233.170 19.641

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

200 200 182 218 7450 137 0 0 0

N.S.

1 1.00 0.91 1.09 37.25 0.68 0.00 0.00 0.00

time (sec)

N/A 0.548 2.992 12.294 0.758 0.271 0.000 0.000 0.000

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

160 160 182 183 1964 124 0 0 0

N.S.

1 1.00 1.14 1.14 12.28 0.78 0.00 0.00 0.00

time (sec)

N/A 0.475 2.869 12.504 0.561 0.302 0.000 0.000 0.000

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F(-1) F(-1) F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

120 120 182 172 1106 111 0 0 0

N.S.

1 1.00 1.52 1.43 9.22 0.92 0.00 0.00 0.00

time (sec)

N/A 0.354 2.802 13.842 0.471 0.277 0.000 0.000 0.000

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F(-1) F(-1) F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

114 114 182 162 973 127 0 0 0

N.S.

1 1.00 1.60 1.42 8.54 1.11 0.00 0.00 0.00

time (sec)

N/A 0.292 2.779 13.943 0.500 0.282 0.000 0.000 0.000

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F(-1) F(-1) F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

118 118 356 170 1395 131 0 0 0

N.S.

1 1.00 3.02 1.44 11.82 1.11 0.00 0.00 0.00

time (sec)

N/A 0.276 8.943 5.563 0.480 0.280 0.000 0.000 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 64 65 151 81 0 0 135

N.S.

1 1.00 0.53 0.54 1.25 0.67 0.00 0.00 1.12

time (sec)

N/A 0.306 0.140 5.093 0.335 0.272 0.000 0.000 16.351

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 161 74 75 243 94 0 98101 163

N.S.

1 1.00 0.46 0.47 1.51 0.58 0.00 609.32 1.01

time (sec)

N/A 0.367 5.183 5.492 0.336 0.291 0.000 237.097 18.395

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 201 84 85 289 107 0 0 279

N.S.

1 1.00 0.42 0.42 1.44 0.53 0.00 0.00 1.39

time (sec)

N/A 0.430 5.206 5.270 0.357 0.267 0.000 0.000 21.049

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F F(-1) B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 38 51 0 121 50 0 0 42

N.S.

1 1.00 1.34 0.00 3.18 1.32 0.00 0.00 1.11

time (sec)

N/A 0.077 0.067 0.000 0.329 0.271 0.000 0.000 0.627

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 50 72 146 119 0 0 0

N.S.

1 1.00 1.35 1.95 3.95 3.22 0.00 0.00 0.00

time (sec)

N/A 0.074 0.050 4.896 0.388 0.275 0.000 0.000 0.000

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 55 83 420 164 0 83 0

N.S.

1 1.00 1.45 2.18 11.05 4.32 0.00 2.18 0.00

time (sec)

N/A 0.088 0.124 3.370 0.410 0.291 0.000 0.501 0.000

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 171 151 178 0 155 0 0 0

N.S.

1 1.00 0.88 1.04 0.00 0.91 0.00 0.00 0.00

time (sec)

N/A 0.522 0.201 12.770 0.000 0.354 0.000 0.000 0.000

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 128 122 141 0 143 0 0 0

N.S.

1 1.00 0.95 1.10 0.00 1.12 0.00 0.00 0.00

time (sec)

N/A 0.339 0.119 12.043 0.000 0.330 0.000 0.000 0.000

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 89 108 698 89 0 0 0

N.S.

1 1.00 0.94 1.14 7.35 0.94 0.00 0.00 0.00

time (sec)

N/A 0.204 0.071 3.732 0.700 0.287 0.000 0.000 0.000

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 51 67 522 159 0 0 0

N.S.

1 1.00 0.91 1.20 9.32 2.84 0.00 0.00 0.00

time (sec)

N/A 0.077 0.036 4.497 0.706 0.287 0.000 0.000 0.000

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A C A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

93 93 180 130 665 132 0 0 0

N.S.

1 1.00 1.94 1.40 7.15 1.42 0.00 0.00 0.00

time (sec)

N/A 0.153 1.552 5.281 0.652 0.274 0.000 0.000 0.000

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A C A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

131 131 473 158 818 145 0 0 0

N.S.

1 1.00 3.61 1.21 6.24 1.11 0.00 0.00 0.00

time (sec)

N/A 0.303 7.163 5.850 0.650 0.274 0.000 0.000 0.000

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A C A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

169 169 1540 180 1006 157 0 0 0

N.S.

1 1.00 9.11 1.07 5.95 0.93 0.00 0.00 0.00

time (sec)

N/A 0.456 8.592 5.849 0.654 0.287 0.000 0.000 0.000

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 126 135 169 0 135 0 0 0

N.S.

1 1.00 1.07 1.34 0.00 1.07 0.00 0.00 0.00

time (sec)

N/A 0.327 0.169 12.564 0.000 0.276 0.000 0.000 0.000

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-1) F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

85 85 106 133 0 125 0 0 0

N.S.

1 1.00 1.25 1.56 0.00 1.47 0.00 0.00 0.00

time (sec)

N/A 0.225 0.120 12.858 0.000 0.286 0.000 0.000 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 101 108 689 70 0 0 0

N.S.

1 1.00 1.87 2.00 12.76 1.30 0.00 0.00 0.00

time (sec)

N/A 0.134 0.101 2.635 0.674 0.280 0.000 0.000 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B C B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 49 61 505 54 0 0 0

N.S.

1 1.00 1.81 2.26 18.70 2.00 0.00 0.00 0.00

time (sec)

N/A 0.048 0.035 4.221 0.663 0.286 0.000 0.000 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B C B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

62 62 178 132 648 121 0 0 0

N.S.

1 1.00 2.87 2.13 10.45 1.95 0.00 0.00 0.00

time (sec)

N/A 0.104 1.271 4.940 0.584 0.276 0.000 0.000 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A C A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

98 98 471 156 801 134 0 0 0

N.S.

1 1.00 4.81 1.59 8.17 1.37 0.00 0.00 0.00

time (sec)

N/A 0.203 6.446 4.826 0.574 0.313 0.000 0.000 0.000

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A C A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

134 134 1538 174 989 146 0 0 0

N.S.

1 1.00 11.48 1.30 7.38 1.09 0.00 0.00 0.00

time (sec)

N/A 0.286 7.169 5.379 0.586 0.288 0.000 0.000 0.000

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 174 212 240 0 192 0 0 0

N.S.

1 1.00 1.22 1.38 0.00 1.10 0.00 0.00 0.00

time (sec)

N/A 0.561 0.305 11.473 0.000 0.365 0.000 0.000 0.000

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 134 158 204 0 182 0 0 0

N.S.

1 1.00 1.18 1.52 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.369 0.332 3.315 0.000 0.353 0.000 0.000 0.000

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 118 131 0 145 0 0 0

N.S.

1 1.00 1.22 1.35 0.00 1.49 0.00 0.00 0.00

time (sec)

N/A 0.166 0.213 3.483 0.000 0.324 0.000 0.000 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 106 181 0 146 0 0 0

N.S.

1 1.00 1.09 1.87 0.00 1.51 0.00 0.00 0.00

time (sec)

N/A 0.166 0.386 4.203 0.000 0.292 0.000 0.000 0.000

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

137 137 247 196 0 171 0 0 0

N.S.

1 1.00 1.80 1.43 0.00 1.25 0.00 0.00 0.00

time (sec)

N/A 0.326 6.605 5.566 0.000 0.286 0.000 0.000 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

177 177 589 223 0 185 0 0 0

N.S.

1 1.00 3.33 1.26 0.00 1.05 0.00 0.00 0.00

time (sec)

N/A 0.490 8.234 4.680 0.000 0.296 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 214 217 344 0 236 0 0 0

N.S.

1 1.00 1.01 1.61 0.00 1.10 0.00 0.00 0.00

time (sec)

N/A 0.721 0.704 12.741 0.000 0.429 0.000 0.000 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 174 191 330 0 226 0 0 0

N.S.

1 1.00 1.10 1.90 0.00 1.30 0.00 0.00 0.00

time (sec)

N/A 0.533 0.535 3.850 0.000 0.433 0.000 0.000 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 149 196 0 180 0 0 0

N.S.

1 1.00 1.09 1.43 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.319 0.541 3.629 0.000 0.281 0.000 0.000 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 122 195 0 178 0 0 0

N.S.

1 1.00 0.89 1.42 0.00 1.30 0.00 0.00 0.00

time (sec)

N/A 0.310 0.741 3.357 0.000 0.295 0.000 0.000 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 134 229 0 180 0 0 0

N.S.

1 1.00 0.98 1.67 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.322 0.849 5.670 0.000 0.306 0.000 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

177 177 506 260 0 205 0 0 0

N.S.

1 1.00 2.86 1.47 0.00 1.16 0.00 0.00 0.00

time (sec)

N/A 0.480 7.206 5.649 0.000 0.279 0.000 0.000 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

217 217 639 287 0 219 0 0 0

N.S.

1 1.00 2.94 1.32 0.00 1.01 0.00 0.00 0.00

time (sec)

N/A 0.703 9.073 5.452 0.000 0.281 0.000 0.000 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

254 254 256 448 0 280 0 0 0

N.S.

1 1.00 1.01 1.76 0.00 1.10 0.00 0.00 0.00

time (sec)

N/A 0.949 1.104 12.472 0.000 0.535 0.000 0.000 0.000

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 214 230 378 0 270 0 0 0

N.S.

1 1.00 1.07 1.77 0.00 1.26 0.00 0.00 0.00

time (sec)

N/A 0.722 1.009 3.923 0.000 0.444 0.000 0.000 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F(-1) F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

177 177 176 260 0 214 0 0 0

N.S.

1 1.00 0.99 1.47 0.00 1.21 0.00 0.00 0.00

time (sec)

N/A 0.482 1.791 3.605 0.000 0.293 0.000 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 177 148 260 0 214 0 0 0

N.S.

1 1.00 0.84 1.47 0.00 1.21 0.00 0.00 0.00

time (sec)

N/A 0.497 1.273 3.737 0.000 0.293 0.000 0.000 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 177 149 260 0 214 0 0 0

N.S.

1 1.00 0.84 1.47 0.00 1.21 0.00 0.00 0.00

time (sec)

N/A 0.500 1.819 3.240 0.000 0.283 0.000 0.000 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 177 148 277 0 214 0 0 0

N.S.

1 1.00 0.84 1.56 0.00 1.21 0.00 0.00 0.00

time (sec)

N/A 0.520 1.451 5.661 0.000 0.285 0.000 0.000 0.000

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

217 217 559 324 0 239 0 0 0

N.S.

1 1.00 2.58 1.49 0.00 1.10 0.00 0.00 0.00

time (sec)

N/A 0.707 7.760 5.442 0.000 0.294 0.000 0.000 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-1) A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

257 257 694 351 0 253 0 0 0

N.S.

1 1.00 2.70 1.37 0.00 0.98 0.00 0.00 0.00

time (sec)

N/A 0.894 10.280 5.859 0.000 0.298 0.000 0.000 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 217 190 350 0 248 0 0 0

N.S.

1 1.00 0.88 1.61 0.00 1.14 0.00 0.00 0.00

time (sec)

N/A 0.660 5.541 3.894 0.000 0.289 0.000 0.000 0.000

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 217 158 350 0 248 0 0 0

N.S.

1 1.00 0.73 1.61 0.00 1.14 0.00 0.00 0.00

time (sec)

N/A 0.820 1.438 3.502 0.000 0.308 0.000 0.000 0.000

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B C B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 30 34 306 31 0 0 0

N.S.

1 1.00 1.88 2.12 19.12 1.94 0.00 0.00 0.00

time (sec)

N/A 0.063 0.020 1.480 0.505 0.259 0.000 0.000 0.000

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 32 40 323 105 0 0 0

N.S.

1 1.00 0.78 0.98 7.88 2.56 0.00 0.00 0.00

time (sec)

N/A 0.117 0.014 1.464 0.566 0.273 0.000 0.000 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 129 186 152 1063 155 0 0 0

N.S.

1 1.00 1.44 1.18 8.24 1.20 0.00 0.00 0.00

time (sec)

N/A 0.327 0.762 12.560 0.426 0.306 0.000 0.000 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 152 120 795 142 0 0 0

N.S.

1 1.00 1.79 1.41 9.35 1.67 0.00 0.00 0.00

time (sec)

N/A 0.248 0.530 12.954 0.410 0.283 0.000 0.000 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 125 79 148 155 0 122 0

N.S.

1 1.00 2.60 1.65 3.08 3.23 0.00 2.54 0.00

time (sec)

N/A 0.130 0.418 4.548 0.363 0.303 0.000 0.454 0.000

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 40 40 82 42 0 62 42

N.S.

1 1.00 1.08 1.08 2.22 1.14 0.00 1.68 1.14

time (sec)

N/A 0.102 0.033 5.457 0.300 0.247 0.000 0.400 14.265

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 52 51 174 52 0 90 85

N.S.

1 1.00 0.66 0.65 2.20 0.66 0.00 1.14 1.08

time (sec)

N/A 0.175 0.330 5.577 0.307 0.252 0.000 0.442 14.732

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 62 63 221 64 0 120 158

N.S.

1 1.00 0.53 0.53 1.87 0.54 0.00 1.02 1.34

time (sec)

N/A 0.267 0.402 5.448 0.306 0.268 0.000 0.487 15.966

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 181 154 1305 124 0 0 0

N.S.

1 1.00 1.59 1.35 11.45 1.09 0.00 0.00 0.00

time (sec)

N/A 0.188 0.286 13.344 0.399 0.281 0.000 0.000 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 155 122 966 111 0 0 0

N.S.

1 1.00 2.15 1.69 13.42 1.54 0.00 0.00 0.00

time (sec)

N/A 0.107 0.334 13.254 0.400 0.299 0.000 0.000 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 124 81 221 64 0 119 0

N.S.

1 1.00 3.35 2.19 5.97 1.73 0.00 3.22 0.00

time (sec)

N/A 0.058 0.174 4.746 0.355 0.261 0.000 0.605 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 39 41 75 41 0 59 31

N.S.

1 1.00 1.11 1.17 2.14 1.17 0.00 1.69 0.89

time (sec)

N/A 0.056 0.026 5.497 0.301 0.255 0.000 0.608 14.709

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 51 53 164 51 0 87 84

N.S.

1 1.00 0.68 0.71 2.19 0.68 0.00 1.16 1.12

time (sec)

N/A 0.111 0.161 4.403 0.303 0.255 0.000 0.631 14.631

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 61 65 209 63 0 117 156

N.S.

1 1.00 0.54 0.58 1.87 0.56 0.00 1.04 1.39

time (sec)

N/A 0.174 0.188 5.573 0.307 0.260 0.000 0.663 15.422

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 185 256 203 0 226 0 779 0

N.S.

1 1.00 1.38 1.10 0.00 1.22 0.00 4.21 0.00

time (sec)

N/A 0.563 1.112 12.350 0.000 0.272 0.000 6.911 0.000

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 228 169 0 212 0 581 0

N.S.

1 1.00 1.62 1.20 0.00 1.50 0.00 4.12 0.00

time (sec)

N/A 0.426 0.917 13.858 0.000 0.277 0.000 1.009 0.000

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 161 116 0 162 0 269 0

N.S.

1 1.00 1.50 1.08 0.00 1.51 0.00 2.51 0.00

time (sec)

N/A 0.331 0.518 2.077 0.000 0.261 0.000 0.670 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A C A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 118 80 209 144 0 162 0

N.S.

1 1.00 2.03 1.38 3.60 2.48 0.00 2.79 0.00

time (sec)

N/A 0.135 0.472 5.992 0.428 0.291 0.000 0.567 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A C A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 157 85 351 152 0 279 0

N.S.

1 1.00 1.65 0.89 3.69 1.60 0.00 2.94 0.00

time (sec)

N/A 0.240 0.531 5.449 0.405 0.291 0.000 0.696 0.000

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A C A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 135 171 102 504 165 0 235 0

N.S.

1 1.00 1.27 0.76 3.73 1.22 0.00 1.74 0.00

time (sec)

N/A 0.444 0.471 4.721 0.413 0.286 0.000 0.689 0.000

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A C A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 173 218 120 692 177 0 265 0

N.S.

1 1.00 1.26 0.69 4.00 1.02 0.00 1.53 0.00

time (sec)

N/A 0.606 0.745 6.346 0.437 0.285 0.000 0.787 0.000

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 161 255 194 0 239 0 747 0

N.S.

1 1.00 1.58 1.20 0.00 1.48 0.00 4.64 0.00

time (sec)

N/A 0.379 0.441 13.829 0.000 0.261 0.000 6.634 0.000

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 227 159 0 225 0 560 0

N.S.

1 1.00 1.92 1.35 0.00 1.91 0.00 4.75 0.00

time (sec)

N/A 0.263 0.368 13.240 0.000 0.264 0.000 0.937 0.000

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 160 116 0 170 0 266 0

N.S.

1 1.00 1.88 1.36 0.00 2.00 0.00 3.13 0.00

time (sec)

N/A 0.155 0.170 2.118 0.000 0.278 0.000 0.583 0.000

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B C B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 110 84 248 84 0 159 0

N.S.

1 1.00 2.34 1.79 5.28 1.79 0.00 3.38 0.00

time (sec)

N/A 0.060 0.191 5.845 0.382 0.275 0.000 0.484 0.000

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A C A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 152 85 400 144 0 264 0

N.S.

1 1.00 1.83 1.02 4.82 1.73 0.00 3.18 0.00

time (sec)

N/A 0.109 0.272 5.570 0.384 0.301 0.000 0.559 0.000

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A C A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 122 170 100 563 157 0 232 0

N.S.

1 1.00 1.39 0.82 4.61 1.29 0.00 1.90 0.00

time (sec)

N/A 0.228 0.293 4.636 0.405 0.272 0.000 0.537 0.000

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

78 78 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.148 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-1) F(-1) F(-1) F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

79 79 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.154 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

79 79 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.153 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 151 268 384 0 188 0 0 0

N.S.

1 1.00 1.77 2.54 0.00 1.25 0.00 0.00 0.00

time (sec)

N/A 0.139 1.257 9.734 0.000 0.106 0.000 0.000 0.000

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 123 255 368 0 167 0 0 0

N.S.

1 1.00 2.07 2.99 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.130 0.864 8.435 0.000 0.092 0.000 0.000 0.000

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 124 148 0 124 0 0 0

N.S.

1 1.00 1.28 1.53 0.00 1.28 0.00 0.00 0.00

time (sec)

N/A 0.106 0.551 3.839 0.000 0.090 0.000 0.000 0.000

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 141 150 0 107 0 0 0

N.S.

1 1.00 1.88 2.00 0.00 1.43 0.00 0.00 0.00

time (sec)

N/A 0.098 0.586 3.627 0.000 0.092 0.000 0.000 0.000

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 140 225 0 125 0 0 0

N.S.

1 1.00 1.39 2.23 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 0.120 0.926 5.655 0.000 0.098 0.000 0.000 0.000

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 127 224 219 0 145 0 0 0

N.S.

1 1.00 1.76 1.72 0.00 1.14 0.00 0.00 0.00

time (sec)

N/A 0.143 0.739 6.652 0.000 0.094 0.000 0.000 0.000

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 151 198 270 0 156 0 0 0

N.S.

1 1.00 1.31 1.79 0.00 1.03 0.00 0.00 0.00

time (sec)

N/A 0.163 1.603 9.768 0.000 0.103 0.000 0.000 0.000

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 161 261 386 0 202 0 0 0

N.S.

1 1.00 1.62 2.40 0.00 1.25 0.00 0.00 0.00

time (sec)

N/A 0.196 1.472 20.620 0.000 0.098 0.000 0.000 0.000

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 131 250 371 0 179 0 0 0

N.S.

1 1.00 1.91 2.83 0.00 1.37 0.00 0.00 0.00

time (sec)

N/A 0.177 1.064 19.145 0.000 0.100 0.000 0.000 0.000

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 48 185 0 77 0 0 0

N.S.

1 1.00 0.75 2.89 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 0.135 0.708 5.010 0.000 0.083 0.000 0.000 0.000